5 results for Blazy Sandrine Blazy
-
Anchor for 1 page of results
-
$17.48off
Interactive Theorem Proving : 4...
Paperback
Published 19 Jul 2013Save $17.48
RRP $80.97- $63.49
-
$3.22off
Verified Software, Theories, To...
Paperback
Published 08 Nov 2016Save $3.22
RRP $60.73- $57.51
-
-
Static Analysis
Paperback
Published 21 Sep 2015 -
Interactive Theorem Proving
Paperback
Published 20 Jun 2013